#include <stdio.h>
#include <stdlib.h>

/* run this program using the console pauser or add your own getch, system("pause") or input loop */

int main(int argc, char *argv[]) {
	char ch = 0;
	scanf("%c",&ch);
	printf("xxxx%cyyyy",ch);
	char kea[5] = {0};
	scanf("%4s",&kea);
	printf("%s\n",kea);
	
	
	
	int year = 0;
	int month = 0;
	int day = 0;
	scanf("%d%*c %d%*c %d%*c",&year,&month,&day);
	printf("%d %d %d\n",year,month,day);
	return 0;
}
